# SPDX-License-Identifier: GPL-2.0-only
config RESET_TEGRA_BPMP
	def_bool TEGRA_BPMP
